body {
  max-width: 768;
  color: black;
  font-family: Arial, sans-serif;
  font-size: smaller;
}

code {
  font-size: small;
}

a {
  color: darkblue;
}

a:visited {
  color: darkblue;
}

.gwt-TabPanel {  
  background-color: #949494;
  border: 1px solid #000000;
}

.gwt-TabPanelBottom {
  background-color: #949494;
  border-top: 1px solid #000000;
}

.gwt-TabBar {
  background-color: #949494;
  font-size: smaller;
}

.gwt-TabBar .gwt-TabBarFirst {
  height: 100%;
}

.gwt-TabBar .gwt-TabBarRest {  
}

.gwt-TabBar .gwt-TabBarItem {
  background-image: url(brushed_metal.jpg);
  background-repeat: repeat-x;
  border-left: 1px solid #000000;
  border-right: 1px solid #000000;
  padding: 3px;
  cursor: pointer;
  cursor: hand;
}

.gwt-TabBar .gwt-TabBarItem-selected {
  font-weight: bold;
  background-color: #E8EEF7;
  cursor: default;
}


.gwt-StackPanel {
  border-bottom: 1px solid #000000;
}

.gwt-StackPanel .gwt-StackPanelItem {
  font-size: smaller;
  background-image: url(brushed_metal.jpg);
  background-repeat: repeat-x;
  border-top: 1px solid #000000;
  cursor: pointer;
  cursor: hand;
}

.gwt-StackPanel .gwt-StackPanelItem-selected {
  background-image: url(brushed_metal.jpg);
  background-repeat: repeat-x;
  border-bottom: 1px solid #000000;
  font-size: smaller;
  font-weight: bold;
}

.gwt-Label {
  font-size: smaller;
}

.gwt-HTML {
  font-size: smaller;
}

/*--- styles defined in application ---*/
.hint{
  color: gray;
  font-size: smaller;
  font-style: italic;
  font-weight: bold;
}

.white-background {
  background-color: white;
}
